outr($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$case $x$ of inl($y$) =$>$ "???" $\mid$ inr($z$) =$>$ $z$